type xxx = string
let str: xxx = '123'
